xen/arm: gic_disable_cpu must be called with interrupts disabled
authorJulien Grall <julien.grall@citrix.com>
Tue, 16 Apr 2013 13:38:27 +0000 (14:38 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 10 May 2013 13:54:07 +0000 (14:54 +0100)
commit017610862e55a31a5abb2a7e7da39ad628794e1e
treeebbe926abf4b6ab3c3ee76eb13024cc0adee2826
parent723d7bfec35f8448f324d2c3427ef76acd4271b9
xen/arm: gic_disable_cpu must be called with interrupts disabled

gic_disable_cpu is only called with interrupt disabled.
Use spin_lock instead of spin_lock_irq and check the function is
called with interrupts disabled.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c